Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
761	Logical Types for Untyped Languages ∗ Sam Tobin-Hochstadt Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Deduction Philosophy of language Logical syntax Propositional calculus Natural deduction Function Symbol Lambda calculus Logic Mathematics Mathematical logic
762	"Event-Valued Random Variables = Propositional Functions of Possible Worlds", 1971 Box 14, Folder 6 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, Un Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:40:57 Propositional calculus Philosophy of language Function Proposition Random variable Mathematics Logic Mathematical logic
763	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
764	Dummett on the Relation between Logics and Metalogics (penultimate draft of paper to appear in M. Frauchiger and W.K. Essler, eds., volume on Michael Dummett in the Lauener Library of Analytical Philosophy, De Gruyter) Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 06:40:03 Model theory Philosophy of mathematics Non-classical logic Metalogic Entailment Kripke semantics Modal logic Philosophy of language Propositional calculus Logic Mathematical logic Philosophical logic
765	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 10 Discrete Mathematics (AMP) (a) For each symbol x in the alphabet Σ = {a, b, c}, let Ox be the language over Σ consisting of all strings that contain an odd number Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Models of computation Combinatorics Computer science Combinatorics on words Deterministic finite automaton Nondeterministic finite automaton Regular language String Regular expression Automata theory Formal languages Theoretical computer science
766	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
767	The University of the State of New York The State Education Department ACCOUNTABILITY STATUS REPORT: ENGLISH LANGUAGE ARTS, MATHEMATICS, SCIENCE, AND GRADUATION RATE Add to Reading List Source URL: www.p12.nysed.gov Language: English - Date: 2005-03-08 18:58:00 Adequate Yearly Progress Education reform No Child Left Behind Act Franklin Area School District Penn Manor School District Standards-based education Education Pennsylvania
768	Calculus Ratiocinator, Characteristica Universalis: Bibliography Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 07:00:33 Philosophers of mathematics Gottfried Leibniz Philosophy of language Philosophical logic Analytic philosophers Characteristica universalis Calculus ratiocinator Jaakko Hintikka Mathesis universalis Philosophy Mathematics Analytic philosophy
769	Frege's Ontology: Being, Existence, and Truth Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:26:25 Philosophical logic Philosophy of language Philosophers of mathematics Meaning Semantics Gottlob Frege Sense and reference Edmund Husserl Existence Philosophy Analytic philosophy Logic
770	Medieval theories of Supposition and Mental Language Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:14 Philosophical logic Traditional logic Medieval philosophy Philosophy of mathematics Term logic Supposition theory William of Ockham Mathematical logic Syllogism Logic Philosophy Science

UPDATE